Trong toán học và lý thuyết topo, compact hóa (phiên âm: compắc hóa, tiếng Anh: compactification) là một quá trình biến một không gian topo thông thường thành một không gian compact.[1] Không gian compact hay tập compact có những tính chất hữu ích như:Một phương pháp thông dụng để compact hóa một không gian topo là "compact hóa một điểm" (one-point compactification) với định lý Alexandroff và tính chất compact địa phương.